xsm/flask: remove unneeded create_sid field
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Mon, 17 Sep 2012 20:10:39 +0000 (21:10 +0100)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Mon, 17 Sep 2012 20:10:39 +0000 (21:10 +0100)
commitf6db6c7b888e0cdb42d653bd551f5d6490b33ad5
treeeb01ff35139a346cfd655ee637002be9efb904fa
parent23ef6c3662d4a106117ea8c1370e6d5f8016a7db
xsm/flask: remove unneeded create_sid field

This field was only used to populate the ssid of dom0, which can be
handled explicitly in the domain creation hook. This also removes the
unnecessary permission check on the creation of dom0.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
tools/flask/policy/policy/modules/xen/xen.te
xen/xsm/flask/hooks.c
xen/xsm/flask/include/objsec.h